package tests.inter;

public class Test1 {
	
	//main necesario para el callgraph
	public static void main(String[] args) {
		Test1.test_1(0);
		Test2.test_02();
		Test3.test_03();
		Test4.test_04();
		Test5.test_05();
	}

	private Test1 f1;

	private Test1 f2;
	
	public static void test_1(int k) {
		Test1 z = new Test1();
		z.m1();
		z.m2(k);
		// z.f1 may-alias z.f2 ? NO
		// z.f2 may-alias z ? SI 
	}

	public void m1() {
		Test1 x = new Test1();
		this.f1 = x;
	}

	public void m2(int k) {
		if (k < 0) {
			Test1 y = new Test1();
			this.f2 = y;
		} else
			this.f2 = this;

	}
}
